TSTP Solution File: GRA029^1 by Refute---2015